Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
191	Degree modifiers and monotonicity Rick Nouwen December 21, 2009 Abstract This paper concerns the question of what it takes to be a degree modifier.1 In particular, I propose an account of why only certain predicates can Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 04:55:28 Grammar Adjective Intensifier Adverb Predicate Grammatical modifier Disjunct Noun phrase Comparison Linguistics Parts of speech Syntax
192	CloudI A Cloud as an Interface ED D AN Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:29 Erlang programming language Ericsson Erlang Structured storage Distributed computing architecture CouchDB Abstract Syntax Notation One Mnesia MapReduce Computing Data management Software
193	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-08 07:11:20 Type theory Functional languages Functional programming Data types Program analysis Type system Higher-order abstract syntax Haskell OCaml Software engineering Computing Computer programming
194	A Spirent Company TTCN-3 Introduction TTCN-3 Introduction The Only Standardized Testing Technology Enabling Test Automation Add to Reading List Source URL: www.testingtech.com Language: English - Date: 2014-03-14 07:35:41 Computing Evaluation Abstract Syntax Notation One Test automation WiMAX Real Time Testing Software testing TTCN Technology
195	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
196	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
197	VIEWDS I DENTITY M ANAGEMENT AND XML D IRECTORY S ERVICES S OLUTIONS DSML vs XLDAP A comparison of XML-based Add to Reading List Source URL: viewds.com Language: English - Date: 2015-03-12 01:00:30 Internet standards Directory services Internet protocols Lightweight Directory Access Protocol Directory Services Markup Language XML Abstract Syntax Notation One Basic Encoding Rules Base64 Computing OSI protocols Data
198	Common Alerting Protocol Version 1.1 Errata Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2007-09-13 08:26:54 Markup languages Common Alerting Protocol OASIS Abstract Syntax Notation One OpenDocument Technical communication EDXL Computing XML Information
199	Putting UBF to Work (and Getting the Outside World to Talk to Erlang) Joseph Wayne Norton / Scott Lystig Fritchie / Gemini Mobile Technologies, Inc. Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:29 Inter-process communication Erlang Abstract Syntax Notation One Apache Thrift Advanced Message Queuing Protocol Common Object Request Broker Architecture JSON Computing Concurrent computing Software engineering
200	OASIS Specification Template Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2007-09-13 08:26:54 Common Alerting Protocol OASIS Abstract Syntax Notation One Markup languages OpenDocument EDXL Computing XML Information

UPDATE